i.e. do not propagate an assertion if it is implied by
an assumption

this is a workaround for the fact that fread isn't (currently)
considered observable by default

…ather than crash.

…nditions

this is in lieu of weakening the assertions directly,
which could result in cases where equivalence conditions
were deemed trivial and dropped from the final output

…ray accesses

…point